From: Colin Walters Date: Tue, 1 Mar 2011 12:11:26 +0000 (-0500) Subject: panel: Remove some unused duplicate constants X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8833 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=5b3974b6b420388237fd7a9b890ef7db98306045;p=gnome-shell.git panel: Remove some unused duplicate constants --- diff --git a/js/ui/panel.js b/js/ui/panel.js index d1bf3fd4e..92272df98 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -44,14 +44,6 @@ const STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION = { if (Config.HAVE_BLUETOOTH) STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION['bluetooth'] = imports.ui.status.bluetooth.Indicator; -// in org.gnome.desktop.interface -const CLOCK_FORMAT_KEY = 'clock-format'; - -// in org.gnome.shell.clock -const CLOCK_SHOW_DATE_KEY = 'show-date'; -const CLOCK_SHOW_SECONDS_KEY = 'show-seconds'; - - // To make sure the panel corners blend nicely with the panel, // we draw background and borders the same way, e.g. drawing // them as filled shapes from the outside inwards instead of